Programming Languages --------------------- [(Up)](../../README.md#topics) | _See also: [BASIC](../BASIC/README.md#basic), [Dafny](../Dafny/README.md#dafny), [Forth](../Forth/README.md#forth), [Haskell](../Haskell/README.md#haskell), [JavaScript](../JavaScript/README.md#javascript), [Lisp](../Lisp/README.md#lisp), [Lua](../Lua/README.md#lua), [Pascal](../Pascal/README.md#pascal), [Prolog](../Prolog/README.md#prolog), [Python](../Python/README.md#python), [PLDI](../PLDI/README.md#pldi), [Scheme](../Scheme/README.md#scheme), [Shell Scripting](../Shell%20Scripting/README.md#shell-scripting)_ - - - - ### Web resources [What is ML/I?](http://www.ml1.org.uk/whatis.html) ★ [merd's home page](https://web.archive.org/web/20060219044548/http://merd.sourceforge.net/) ★ [GP (Graph Programs) - The Programming Languages and Systems Research Group](https://web.archive.org/web/20160325011907/https://www.cs.york.ac.uk/plasma/wiki/index.php?title=GP_%28Graph_Programs%29) ★ [The ABC Programming Language: a short introduction](https://homepages.cwi.nl/~steven/abc/) ★ [programming languages - How does Tarjan\'s pseudocode work (explained to someone familiar with C or Java)? - Computer Science Stack Exchange](https://cs.stackexchange.com/questions/103816/how-does-tarjans-pseudocode-work-explained-to-someone-familiar-with-c-or-java) ★ [BASICO programming language](http://www.andreadrian.de/tbng/index.html) ★ [(modal)](https://wryl.tech/projects/modal.html) ★ [Perl Source - www.cpan.org](https://www.cpan.org/src/) ★ [Action! Programming Language Version 3.6 - Source Code : Optimized Systems Software : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/ActionVersion36_SourceCode) ★ [Pure Programming Language](https://agraef.github.io/pure-lang/) ★ [bondi](https://web.archive.org/web/20120118182341/http://bondi.it.uts.edu.au/) ★ [💭](commentary/Chris%20Pressey.md#bondi) [Refal](https://cgi.csc.liv.ac.uk/~alexei/VeriSuper/node2.html) ★ [K \| Runtime Verification Inc](https://kframework.org/) ★ [GF - Grammatical Framework](https://www.grammaticalframework.org/) ★ [Grammatical Framework (programming language) - Wikipedia](https://en.wikipedia.org/wiki/Grammatical_Framework_(programming_language)) ### Repositories [ympbyc/Carrot: Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.](https://github.com/ympbyc/Carrot) ★★★ [c3d/xl: A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites](https://github.com/c3d/xl) ★ [naver/tamgu: Tamgu (탐구), a FIL programming language: Functional, Imperative, Logical all in one for annotation and data augmentation](https://github.com/naver/tamgu) ★ [chrisdone/z: A strict, impure, curried, partially applied programming language with rather peculiar syntax.](https://github.com/chrisdone/z) ★ [egison/egison: The Egison Programming Language](https://github.com/egison/egison) ★ [samrushing/irken-compiler: Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.](https://github.com/samrushing/irken-compiler) ★ [Mesabloo/amethyst: A simple concatenative programming language](https://github.com/Mesabloo/amethyst) ★ [manuel/wat-js: Concurrency and Metaprogramming for JS](https://github.com/manuel/wat-js) ★★ [dcurrie/wren: Language with a bytecode compiler that can run on computers with only a few kB of RAM.](https://github.com/dcurrie/wren) ★★ [alehander92/Airtight: a python-like language with hindley-milner-like type system, which is compiled to c](https://github.com/alehander92/Airtight) ★ [clemahieu/mu: Mu is a modern, modular, system programming language and scripting toolchain](https://github.com/clemahieu/mu) [xixixao/Shem: The compiler of the programming language Shem](https://github.com/xixixao/Shem) ★ [ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.](https://github.com/ncihnegn/miranda) ★ [UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets](https://github.com/UnrealVerseGuru/VerseProgrammingLanguage) ★ [pro465/rhokell: rho calculus + haskell thrown into the mixer](https://github.com/pro465/rhokell) ★ [Danskydan/Hilltop: Hilltop is a text-based, general-purpose programming language and model that borrows concepts from spreadsheet programming.](https://github.com/Danskydan/Hilltop) ★ _(in [Apple II](../Apple%20II/README.md#apple-ii))_ [bocchino/AppleCore: A core language for the Apple II](https://github.com/bocchino/AppleCore) ★ _(in [Apple II](../Apple%20II/README.md#apple-ii))_ [dschmenk/PLASMA: Proto Language AsSeMbler for All (formerly Apple)](https://github.com/dschmenk/PLASMA) ★ _(in [Compiler Construction](../Compiler%20Construction/README.md#compiler-construction))_ [radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.](https://github.com/radian-software/kalyn) ★ _(in [Coq](../Coq/README.md#coq))_ [codyroux/tinymatch: A teeny language with nats, lists and pattern matching, static and dynamic semantics and a proof of progress and preservation.](https://github.com/codyroux/tinymatch) ★ _(in [Genetic Programming](../Genetic%20Programming/README.md#genetic-programming))_ [Vaguery/Duck-language: A simple language for genetic programming](https://github.com/Vaguery/Duck-language) ★ _(in [PLDI](../PLDI/README.md#pldi))_ [ibrahimsag/rw: an experiment in presenting code.](https://github.com/ibrahimsag/rw) ★★★ _(in [PLDI](../PLDI/README.md#pldi))_ [ebuswell/noneleatic: Noneleatic (Mutable State) Languages](https://github.com/ebuswell/noneleatic) ★ ### Papers Synchronous Functional Programming: The Lucid Synchrone Experiment (online @ [www.di.ens.fr](https://www.di.ens.fr/~pouzet/bib/chap_lucid_synchrone_english_iste08.pdf)) _(in [Name Binding](../Name%20Binding/README.md#name-binding))_ [A Metalanguage for Programming with Bound Names Modulo Renaming](https://www.cl.cam.ac.uk/~amp12/papers/metpbn/metpbn.pdf) ### Books PostScript Language Tutorial and Cookbook (borrow @ [archive.org](https://archive.org/details/postscriptlangua00adobrich)) ★ Systems Programming with Modula-3 (borrow @ [archive.org](https://archive.org/details/systemsprogrammi0000unse)) [💭](commentary/Chris%20Pressey.md#systems-programming-with-modula-3) Object-Oriented Programming in Eiffel (borrow @ [archive.org](https://archive.org/details/objectorientedpr0000thom_j7s0)) ★ [💭](commentary/Chris%20Pressey.md#object-oriented-programming-in-eiffel)